Richard Karp
Pour les articles homonymes, voir Karp.
| Naissance | |
|---|---|
| Nom dans la langue maternelle |
Richard Manning Karp |
| Nationalité | |
| Formation |
Université Harvard Harvard School of Engineering and Applied Sciences (en) Université de Californie à Berkeley |
| Activités |
A simple algorithm for finding frequent elements in streams and bags (d) |
Richard Manning Karp (né le à Boston dans le Massachusetts) est un chercheur américain connu notamment pour ses recherches en optimisation combinatoire et théorie de la complexité. Il a reçu le prix Turing en 1985 pour ses travaux.
Biographie
[modifier | modifier le code]Richard Karp est le fils d'Abraham et Rose Karp[1].
Il est entré à l'université Harvard, où il reçut son Bachelor's degree en 1955, son Master's degree en 1956, et son Ph.D. de mathématiques appliquées en 1959[2],[3].
Il a ensuite travaillé pour IBM au centre de recherche Thomas J. Watson[2].
En 1968, il devient professeur d'informatique et de mathématiques à l'université de Californie à Berkeley[2], où il reste ensuite, à l'exception d'une période de quatre ans comme professeur à l'université de Washington.
Il a été le directeur de thèse de Narendra Karmarkar, Noam Nisan et Rajeev Motwani entre autres[3].
Travaux
[modifier | modifier le code]Richard Karp a surtout travaillé en algorithmique et en théorie de la complexité. Parmi ses contributions importantes, on compte notamment les points suivants.
- En 1971 il a développé, avec Jack Edmonds, l'algorithme d'Edmonds-Karp pour résoudre le problème de flot maximum dans les réseaux[4].
- En 1972 il a publié un article fondateur en théorie de la complexité, dans lequel il prouve la NP-complétude de 21 problèmes[5].
- En 1973, il publie avec John Hopcroft, l'algorithme de Hopcroft-Karp pour un problème de couplage[6].
- En 1980, il prouve avec Richard J. Lipton, le théorème de Karp-Lipton, en théorie de la complexité[7].
- En 1987, il a codéveloppé l'algorithme de Rabin-Karp[8].
Il s'intéresse actuellement à la bio-informatique.
Prix et distinctions
[modifier | modifier le code]- 1985 prix Turing[2]
- 1987 Conférence von Neumann
- 1990 prix de théorie John-von-Neumann[9]
- 1996 National Medal of Science
- 2004 Médaille Benjamin Franklin en informatique pour ses travaux sur la complexité algorithmique
Il fut cité de la façon suivante lors de la remise du prix Turing : « Pour ses contributions continues à la théorie des algorithmes, notamment le développement d'algorithmes efficaces pour les réseaux et d'autres problèmes d'optimisation combinatoires, l'identification de calculabilité en temps polynomial avec la notion intuitive d'algorithme efficace, et surtout, ses contributions à la théorie de la NP-complétude. Karp a introduit la méthodologie désormais classique pour prouver qu'un problème est NP-complet, ce qui a permis d'identifier de nombreux problèmes pratiques et théoriques comme étant difficiles à calculer. »
Source
[modifier | modifier le code]- M. Gondran et M. Minoux, Graphes et algorithmes, Eyrolles, coll. « Dir. Ét. & Rech. EDF », (réimpr. 1984, 1995, 2009 chez Lavoisier: 4e éd.), 546 p.
Notes et références
[modifier | modifier le code]- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Richard Karp » (voir la liste des auteurs).
- https://www.kyotoprize.org/wp/wp-content/uploads/2016/02/24kA_lct_EN.pdf
- « citation du prix Turing », sur Association for Computing Machinery
- (en) « Richard Karp », sur le site du Mathematics Genealogy Project
- Jack Edmonds et Richard M. Karp, « Theoretical improvements in algorithmic efficiency for network flow problems », Journal of the ACM, Association for Computing Machinery (ACM), vol. 19, no 2, , p. 248–264 (DOI 10.1145/321694.321699)
- (en) Richard M. Karp, Reducibility Among Combinatorial Problems. In Complexity of Computer Computations, Proc. Sympos. IBM Thomas J. Watson Res. Center, Yorktown Heights, N.Y.. New York: Plenum, p.85-103. 1972.
- John Hopcroft et Richard Karp, « An n5/2 algorithm for maximum matchings in bipartite graphs », SIAM Journal on Computing, vol. 2, no 4, , p. 225-231 (DOI 10.1137/0202019)
- Richard M. Karp et Richard J. Lipton, « Some connections between nonuniform and uniform complexity classes », dans Symposium on Theory of Computing, (DOI 10.1145/800141.804678), p. 302-309.
- Richard M. nom2=Rabin Karp, « Efficient randomized pattern-matching algorithms », IBM Journal of Research and Development, vol. 31, no 2, , p. 249–260 (DOI 10.1147/rd.312.0249, lire en ligne).
- « Prix de Richard Karp », sur Institute for Operations Research and the Management Sciences
Liens externes
[modifier | modifier le code]- Notice dans un dictionnaire ou une encyclopédie généraliste :
- Ressources relatives à la recherche :
- (en) ACM Crossroads magazine : interview de Richard Karp
- (en) Page personnelle
- Personnalité américaine de l'informatique
- Personnalité en informatique théorique
- Personnalité en recherche opérationnelle
- Bio-informaticien
- Docteur de l'université Harvard
- Professeur à l'université de Californie à Berkeley
- Professeur à l'université de Washington
- Docteur honoris causa du Technion
- Docteur honoris causa de l'Institut Weizmann
- Docteur honoris causa de l'École polytechnique fédérale de Zurich
- Lauréat du prix EATCS
- Lauréat du prix Turing
- Lauréat du prix de Kyoto
- Récipiendaire de la National Medal of Science
- Lauréat du prix Harvey (Technion)
- Lauréat du prix Fulkerson
- Conférencier von Neumann
- Lauréat du prix de théorie John-von-Neumann
- Lauréat du prix Lanchester
- Membre de la Société américaine de philosophie
- Membre de l'Académie des sciences (France)
- Membre de l'Académie nationale des sciences
- Membre de l'Association américaine pour l'avancement des sciences
- Membre de l'Académie américaine des arts et des sciences
- Naissance en janvier 1935
- Naissance à Boston